Row polymorphism

必要なフィールドの存在だけを要求するRecordの型を書ける

OCamlにもあるらしい

row

key/typesの集合

まだ分からない残りのフィールドを表す変数

例

code:purs(hs)

{ x : Int | r }

フィールド追加も表現できる

code:purs(hs)

addY : { x : Int | r } -> { x : Int, y : Int | r }

フィールド削除も表現できる

code:purs(hs)

removeY : { y : Int | r } -> { r }

参考

hsに入れるproposal